Fix mini-os xenbus.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 24 Mar 2006 09:47:48 +0000 (10:47 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Fri, 24 Mar 2006 09:47:48 +0000 (10:47 +0100)
commitc7b965a01c79f34586562d1e2b8eda2c00449bb2
tree9ed2a204c58fa4de41a0da4adb14d30a4ef7832f
parent2acf021310aea3b5b45a82ba0c928cfe6738495a
Fix mini-os xenbus.

From: Grzegorz Milos <gm281@cam.ac.uk>
Signed-off-by: Keir Fraser <keir@xensource.com>
14 files changed:
extras/mini-os/Makefile
extras/mini-os/console/console.c
extras/mini-os/console/xencons_ring.c
extras/mini-os/events.c
extras/mini-os/include/os.h
extras/mini-os/include/wait.h
extras/mini-os/include/xenbus.h
extras/mini-os/kernel.c
extras/mini-os/minios-x86_32.lds
extras/mini-os/mm.c
extras/mini-os/sched.c
extras/mini-os/traps.c
extras/mini-os/x86_32.S
extras/mini-os/xenbus/xenbus.c [new file with mode: 0644]